show that the mapping for reflection in the line y=k is y'=2k-y